While we are commonly told that the distinctive method of mathematics is rigorous proof, and that the special topic of mathematics is abstract structure, there has been no agreement among mathematicians, logicians, or philosophers as to just what either of these assertions means. John P. Burgess clarifies the nature of mathematical rigor and of mathematical structure, and above all of the relation between the two, taking into account some of the latest developments in mathematics, including the rise of experimental (...) mathematics on the one hand and computerized formal proofs on the other hand. Along the way, a great many historical developments in mathematics, philosophy, and logic are surveyed. Yet very little in the way of background knowledge on the part of the reader is presupposed. (shrink)

By utilizing new information from both clinical and experimental (lesion, electrophysiological, and gene-activation) studies with animals, the anatomy underlying anterograde amnesia has been reformulated. The distinction between temporal lobe and diencephalic amnesia is of limited value in that a common feature of anterograde amnesia is damage to part of an comprising the hippocampus, the fornix, the mamillary bodies, and the anterior thalamic nuclei. This view, which can be traced back to Delay and Brion (1969), differs from other recent models in (...) placing critical importance on the efferents from the hippocampus via the fornix to the diencephalon. These are necessary for the encoding and, hence, the effective subsequent recall of episodic memory. An additional feature of this hippocampalanterior thalamic and the perirhinal–medial dorsal thalamic systems are compromised, leading to severe deficits in both recall and recognition. (shrink)

Numbers and other mathematical objects are exceptional in having no locations in space or time or relations of cause and effect. This makes it difficult to account for the possibility of the knowledge of such objects, leading many philosophers to embrace nominalism, the doctrine that there are no such objects, and to embark on ambitious projects for interpreting mathematics so as to preserve the subject while eliminating its objects. This book cuts through a host of technicalities that have obscured previous (...) discussions of these projects, and presents clear, concise accounts of a dozen strategies for nominalistic interpretation of mathematics, thus equipping the reader to evaluate each and to compare different ones. The authors also offer critical discussion, rare in the literature, of the aims and claims of nominalistic interpretation, suggesting that it is significant in a very different way from that usually assumed. (shrink)

As the expansion of the Internet and the digital formatting of all kinds of creative works move us further into the information age, intellectual property issues have become paramount. Computer programs costing thousands of research dollars are now copied in an instant. People who would recoil at the thought of stealing cars, computers, or VCRs regularly steal software or copy their favorite music from a friend's CD. Since the Web has no national boundaries, these issues are international concerns. The contributors-philosophers, (...) legal theorists, and business scholars, among others-address questions such as: Can abstract ideas be owned? How does the violation of intellectual property rights compare to the violation of physical property rights? Can computer software and other digital information be protected? And how should legal systems accommodate the ownership of intellectual property in an information age? Intellectual Property is a lively examination of these and other issues, and an invaluable resource for librarians, lawyers, businesspeople, and scholars. (shrink)

Saul Kripke has been a major influence on analytic philosophy and allied fields for a half-century and more. His early masterpiece, _Naming and Necessity_, reversed the pattern of two centuries of philosophizing about the necessary and the contingent. Although much of his work remains unpublished, several major essays have now appeared in print, most recently in his long-awaited collection _Philosophical Troubles_. In this book Kripke’s long-time colleague, the logician and philosopher John P. Burgess, offers a thorough and self-contained guide (...) to all of Kripke’s published books and his most important philosophical papers, old and new. It also provides an authoritative but non-technical account of Kripke’s influential contributions to the study of modal logic and logical paradoxes. Although Kripke has been anything but a system-builder, Burgess expertly uncovers the connections between different parts of his oeuvre. Kripke is shown grappling, often in opposition to existing traditions, with mysteries surrounding the nature of necessity, rule-following, and the conscious mind, as well as with intricate and intriguing puzzles about identity, belief and self-reference. Clearly contextualizing the full range of Kripke’s work, Burgess outlines, summarizes and surveys the issues raised by each of the philosopher’s major publications. _Kripke_ will be essential reading for anyone interested in the work of one of analytic philosophy’s greatest living thinkers. (shrink)

John Burgess is the author of a rich and creative body of work which seeks to defend classical logic and mathematics through counter-criticism of their nominalist, intuitionist, relevantist, and other critics. This selection of his essays, which spans twenty-five years, addresses key topics including nominalism, neo-logicism, intuitionism, modal logic, analyticity, and translation. An introduction sets the essays in context and offers a retrospective appraisal of their aims. The volume will be of interest to a wide range of readers across (...) philosophy of mathematics, logic, and philosophy of language. (shrink)

What is the simplest and most natural axiomatic replacement for the set-theoretic definition of the minimal fixed point on the Kleene scheme in Kripke’s theory of truth? What is the simplest and most natural set of axioms and rules for truth whose adoption by a subject who had never heard the word "true" before would give that subject an understanding of truth for which the minimal fixed point on the Kleene scheme would be a good model? Several axiomatic systems, old (...) and new, are examined and evaluated as candidate answers to these questions, with results of Harvey Friedman playing a significant role in the examination. (shrink)

One textbook may introduce the real numbers in Cantor’s way, and another in Dedekind’s, and the mathematical community as a whole will be completely indifferent to the choice between the two. This sort of phenomenon was famously called to the attention of philosophers by Paul Benacerraf. It will be argued that structuralism in philosophy of mathematics is a mistake, a generalization of Benacerraf’s observation in the wrong direction, resulting from philosophers’ preoccupation with ontology.

In lieu of an abstract, here is a brief excerpt of the content:John P. Anton C. P. CAVAFY'S ARS POETICA ' It is generally recognized that Constantine P. Cavafy (1863-1933) was not born a poet but became one only through persistence and labor, reaching his "first step" sometime after the midpoint of his life. In his effort to assess the quality of his earlier poetic production and sharpen his sensitivity in facing self-criticism, he decided to put in writing his (...) personal thoughts on his work sometime in 1903. The text was written in English in a personal shorthand Cavafy had devised for his own use. It was found among the papers he left to A. Sengopoulos and published for the first time in 1963 by M. Peridis, who also supplied the suitable title Ars Poetica. It falls outside the scope of this essay to discuss the antecedents of this document. Taken as a whole, the text has all the clarity and directness required of a testament designed to serve as a personal guide and handbook. The problems it discusses are limited to the needs of the poet. In this regard, the Ars Poetica has neither the range of topics nor the theoretical scope of, for instance, Aristotle's Poetics. It is quite certain that the ideas that preoccupy Cavafy in the Ars Poetica had been on his mind for a period of years. However, the Ars Poetica is his first prose piece where he gives a systematic treatment to technical and critical issues directly related to the assessment of his work and his role as a poet. In order to project here a clear image of Cavafy's struggle to reach his technical maturity which came after 1910, we need first to discuss the persistent problems he faced during this crucial decade, then to examine the attitudes and values he embodied in certain representative early poems, and finally to relate them to the guiding principles he formulated in his self-addressed poetics of 1903. A number of interrelated problems confronted Cavafy in his late twenties and throughout his thirties. They emerged one by one, to 85 86Philosophy and Literature make more pressing the demand for a consistent solution and a complete recasting of his outlook. Coming to terms with them was extremely difficult. Aside from the emotional and sexual pressures he had to face alone, there was the absence of suitable ideas and conceptual tools to provide him with even the rudiments of an intellectual framework. Whatever he borrowed from Europe and England, or resurrected from his own Hellenic heritage, proved either beyond assimilation or insufficiently digested. The lingering issues fell roughly into four areas. (i) Despite his determination to devote his life to the writing of poetry, the quality of his work was discouraging. He knew this and as a result he often expressed uncertainty about his ability to proceed. Time and again he appeared suffering from a feeling of inadequacy, but nevertheless he sought to engage a reflective mood from which to draw encouragement and hope. (ii) On the theoretical side, he identified with the long tradition which assigned a coveted cultural role to the savant-poet as discloser of truth and spokesman for humanity; this despite the prevailing climate of opinion in his immediate environment which recognized no such high position in his case. Cavafy knew that his standing with the Greek community of Alexandria had gradually dwindled with the loss of family wealth and his lowly employment, and also that his expectations to be respected in his role as a poet and leader in communal affairs were futile. This denial of personal recognition in a society dominated by commerce and finance contributed to his mood of depression. The feeling of being an outcast, despite his associations with the upper social circles of Alexandria, became a constant irritant to his sense of pride. (iii) The course of culture, the destiny of human institutions and the workings of history, became puzzles as he tried to view them through the opaque glass of disillusionment. These were the grand themes actively discussed in the writings of leading European intellectuals, but to the young poet they had a different personal urgency. His vital concern in this connection was not understanding science... (shrink)

Darwinism, Democracy, and Race examines the development and defence of an argument that arose at the boundary between anthropology and evolutionary biology in twentieth-century America. In its fully articulated form, this argument simultaneously discredited scientific racism and defended free human agency in Darwinian terms. The volume is timely because it gives readers a key to assessing contemporary debates about the biology of race. By working across disciplinary lines, the book's focal figures--the anthropologist Franz Boas, the cultural anthropologist Alfred Kroeber, the (...) geneticist Theodosius Dobzhansky, and the physical anthropologist Sherwood Washburn--found increasingly persuasive ways of cutting between genetic determinist and social constructionist views of race by grounding Boas's racially egalitarian, culturally relativistic, and democratically pluralistic ethic in a distinctive version of the genetic theory of natural selection. Collaborators in making and defending this argument included Ashley Montagu, Stephen Jay Gould, and Richard Lewontin. Darwinism, Democracy, and Race will appeal to advanced undergraduates, graduate students, and academics interested in subjects including Philosophy, Critical Race Theory, Sociology of Race, History of Biology and Anthropology, and Rhetoric of Science. (shrink)

This book surveys the assortment of methods put forth for fixing Frege's system, in an attempt to determine just how much of mathematics can be reconstructed in ...

In this paper Sullins argues that in certain circumstances robots can be seen as real moral agents. A distinction is made between persons and moral agents such that, it is not necessary for a robot to have personhood in order to be a moral agent. I detail three requirements for a robot to be seen as a moral agent. The first is achieved when the robot is significantly autonomous from any programmers or operators of the machine. The second is when (...) one can analyze or explain the robot's behavior only by ascribing to it some predisposition or 'intention' to do good or harm. And finally, robot moral agency requires the robot to behave in a way that shows and understanding of responsibility to some other moral agent. Robots with all of these criteria will have moral rights as well as responsibilities regardless of their status as persons. (shrink)

The debate over whether brain death is death has focused on whether individuals who have sustained total brain failure have satisfied the biological definition of death as “the irreversible loss of the integration of the organism as a whole.” In this paper, I argue that what it means for an organism to be integrated “as a whole” is undefined and vague in the views of those who attempt to define death as the irreversible loss of the integration of the organism (...) as a whole. I show how what it means for a living thing to be integrated as a whole depends on the sortal concept by which it is identified. Since interests, values, and ontological considerations besides strictly biological ones affect the concepts by which we individuate and identify living things, those non-biological considerations have a bearing on what it means for a particular kind of living thing to exist as a whole and thus what it means for one of us to die. Even if our bodies may remain organically integrated in some sense despite total brain failure, this fact should not lead us to reject brain death as death. Artificially sustained brain-dead human bodies are not human beings, but the remains of them. While such bodies may be alive in some sense, they are not human beings or human persons. They are not one of us. (shrink)

Philosophical Logic is a clear and concise critical survey of nonclassical logics of philosophical interest written by one of the world's leading authorities on the subject. After giving an overview of classical logic, John Burgess introduces five central branches of nonclassical logic, focusing on the sometimes problematic relationship between formal apparatus and intuitive motivation. Requiring minimal background and arranged to make the more technical material optional, the book offers a choice between an overview and in-depth study, and it balances (...) the philosophical and technical aspects of the subject.The book emphasizes the relationship between models and the traditional goal of logic, the evaluation of arguments, and critically examines apparatus and assumptions that often are taken for granted. Philosophical Logic provides an unusually thorough treatment of conditional logic, unifying probabilistic and model-theoretic approaches. It underscores the variety of approaches that have been taken to relevantistic and related logics, and it stresses the problem of connecting formal systems to the motivating ideas behind intuitionistic mathematics. Each chapter ends with a brief guide to further reading.Philosophical Logic addresses students new to logic, philosophers working in other areas, and specialists in logic, providing both a sophisticated introduction and a new synthesis. (shrink)

It is a fact of modern scientific thought that there is an enormous variety of logical systems - such as classical logic, intuitionist logic, temporal logic, and Hoare logic, to name but a few - which have originated in the areas of mathematical logic and computer science. In this book the author presents a systematic study of this rich harvest of logics via Tarski's well-known axiomatization of the notion of logical consequence. New and sometimes unorthodox treatments are given of the (...) underlying principles and construction of many-valued logics, the logic of inexactness, effective logics, and modal logics. Throughout, numerous historical and philosophical remarks illuminate both the development of the subject and show the motivating influences behind its development. Those with a modest acquaintance of modern formal logic will find this to be a readable and not too technical account which will demonstrate the current diversity and profusion of logics. In particular, undergraduate and postgraduate students in mathematics, philosophy, computer science, and artificial intelligence will enjoy this introductory survey of the field. (shrink)

Saul Kripke has made fundamental contributions to a variety of areas of logic, and his name is attached to a corresponding variety of objects and results. 1 For philosophers, by far the most important examples are ‘Kripke models’, which have been adopted as the standard type of models for modal and related non-classical logics. What follows is an elementary introduction to Kripke’s contributions in this area, intended to prepare the reader to tackle more formal treatments elsewhere.2 2. WHAT IS A (...) MODEL THEORY? Traditionally, a statement is regarded as logically valid if it is an instance of a logically valid form, where a form is regarded as logically valid if every instance is true. In modern logic, forms are represented by formulas involving letters and special symbols, and logicians seek therefore to define a notion of model and a notion of a formula’s truth in a model in such a way that every instance of a form will be true if and only if a formula representing that form is true in every model. Thus the unsurveyably vast range of instances can be replaced for purposes of logical evaluation by the range of models, which may be more tractable theoretically and perhaps practically. Consideration of the familiar case of classical sentential logic should make these ideas clear. Here a formula, say (p & q) ∨ ¬p ∨ ¬q, will be valid if for all statements P.. (shrink)

The great logician Gottlob Frege attempted to provide a purely logical foundation for mathematics. His system collapsed when Bertrand Russell discovered a contradiction in it. Thereafter, mathematicians and logicians, beginning with Russell himself, turned in other directions to look for a framework for modern abstract mathematics. Over the past couple of decades, however, logicians and philosophers have discovered that much more is salvageable from the rubble of Frege's system than had previously been assumed. A variety of repaired systems have been (...) proposed, each a consistent theory permitting the development of a significant portion of mathematics. This book surveys the assortment of methods put forth for fixing Frege's system, in an attempt to determine just how much of mathematics can be reconstructed in each. John Burgess considers every proposed fix, each with its distinctive philosophical advantages and drawbacks. These systems range from those barely able to reconstruct the rudiments of arithmetic to those that go well beyond the generally accepted axioms of set theory into the speculative realm of large cardinals. For the most part, Burgess finds that attempts to fix Frege do less than advertised to revive his system. This book will be the benchmark against which future analyses of the revival of Frege will be measured. (shrink)

Highlighting previously neglected democratic strains in Machiavelli's major writings, McCormick excavates institutions through which the common people of ancient, medieval, and Renaissance republics constrained the power of wealthy citizens and public magistrates, and he imagines how such institutions might be revived today.

Richard Rorty reimagined the traditional liberal private-public divide to face contingency. This chapter explains Rorty’s understanding of it as a crucial component of any just and stable political order in the post-secular West. Rorty’s continued defense of the liberal private-public divide has been criticized from the political right and left. His foundation-neutral model is, however, equipped (or can easily be modified) to answer these objections. And this is good news, because Rorty has shown us that the leading post-secular alternatives (e.g., (...) identity politics) threaten freedom, risk humiliation, and undermine solidarity. (shrink)

Recently it has become almost the received wisdom in certain quarters that Kripke models are appropriate only for something like metaphysical modalities, and not for logical modalities. Here the line of thought leading to Kripke models, and reasons why they are no less appropriate for logical than for other modalities, are explained. It is also indicated where the fallacy in the argument leading to the contrary conclusion lies. The lessons learned are then applied to the question of the status of (...) the formula. (shrink)

In this first full-length study of male homosexuality in Cather's short stories and novels, John P. Anders examines patterns of male friendship ranging on a continuum from the social to the sexual. He reveals how Cather's work assumes an unexpected depth and complexity by drawing on both the familiar tradition of friendship literature inspired by classical and Christian texts and a homosexual legacy that is part of, yet distinct from, established literary traditions. Anders argues that Cather's artistic achievement is (...) distinguished by her sexual aesthetics, an elusive literary style inextricably associated with homosexuality. His analysis demonstrates how a homosexual ethos and eros helped Cather develop a sensitivity to human variation and a style to accommodate it and thus became the objective correlative of her art, dramatizing the diversity of human nature as it deepens the mystery of her work. (shrink)

Saul Kripke has been a major influence on analytic philosophy and allied fields for a half-century and more. His early masterpiece, Naming and Necessity, reversed the pattern of two centuries of philosophizing about the necessary and the contingent. Although much of his work remains unpublished, several major essays have now appeared in print, most recently in his long-awaited collection Philosophical Troubles. In this book Kripke’s long-time colleague, the logician and philosopher John P. Burgess, offers a thorough and self-contained guide (...) to all of Kripke’s published books and his most important philosophical papers, old and new. It also provides an authoritative but non-technical account of Kripke’s influential contributions to the study of modal logic and logical paradoxes. Although Kripke has been anything but a system-builder, Burgess expertly uncovers the connections between different parts of his oeuvre. Kripke is shown grappling, often in opposition to existing traditions, with mysteries surrounding the nature of necessity, rule-following, and the conscious mind, as well as with intricate and intriguing puzzles about identity, belief and self-reference. Clearly contextualizing the full range of Kripke’s work, Burgess outlines, summarizes and surveys the issues raised by each of the philosopher’s major publications. Kripke will be essential reading for anyone interested in the work of one of analytic philosophy’s greatest living thinkers. (shrink)

“The inquiry into the foundations of knowledge is a systematic inquiry into the problem of truth. This problem constitutes one of the three main concerns of philosophical analysis, the others being the problem of beauty and the problem of goodness.” Thus Evangelos P. Papanoutsos, Greece’s leading contemporary philosopher, introduces this third book of his “Trilogy of the Mind.” The first two volumes covered aesthetics and ethics; this one is a major work in epistemology. Combining rigorous analysis with thorough-going scholarship, displaying (...) an intimate acquaintance with the physical and humanistic sciences, and drawing on a deep understanding of philosophical method and the history of philosophy, Professor Papanoutsos is held in high esteem by his European colleagues. This translation of his masterpiece will enhance his reputation and influence among readers of English. The themes of The Foundation of Knowledge range over the topics that have been continually challenging to the modern era of philosophers: being and consciousness, experience and reason, common sense and science, and the domains of knowledge, including the nature of philosophical knowledge. Special attention is paid to the analysis of theoretical consciousness, the problems of categorical thinking, the theory of judgment, mathematics and logic, and the limits of historical understanding. (shrink)

This work augments its companion volume Essays in Ancient Greek Philosophy.

Paper edition ($18.95) not seen. Annotation copyrighted by Book News, Inc., Portland, OR.

Paper edition ($18.95) not seen. The essays in this collection have been selected from a much larger set of papers on Aristotle's ethics, presented before the Society for Ancient Greek Philosophy during the past decade.

The essays in this volume treat a wide variety of fundamental topics and problems in ancient Greek philosophy. The scope of the section on pre-Socratic thought ranges over the views which these thinkers have on such areas of concern as religion, natural philosophy and science, cosmic periods, the nature of elements, theory of names, the concept of plurality, and the philosophy of mind. The essays dealing with the Platonic dialogues examine with unusual care a great number of central themes and (...) discuss them in considerable depth: problems in language and logic, myth, reason, hypothesis, eros, friendship, reason, morality, society, art, the nature of soul, and immortality. In addition, they offer fresh discussions on a number of basic morphological, methodological, and philological issues related to philosophical arguments and introduce new aspects for a critical reexamination of controversies surrounding the doctrines and the authenticity of certain Platonic works. The essays on the philosophy of Aristotle are closely reasoned analyses of such basic themes as the universality of the sensible, the nature of kinesis, the problem of future contingencies, the meaning of qualitative change, the doctrine of phantasia, the essence of intelligence, and the metaphysical foundations for the ethical life. The essays on post-Aristotelian developments in ancient philosophy offer challenging and well-documented discussions on topics in the history of ancient logic, categorical thought, the ethical doctrines of ancient Scepticism, epistemological issues in the physical theory of the Epicureans, and basic concepts in the metaphysics of the neo-platonists. (shrink)

The architectonic principle, as stated in Aristotle's Politics, is related to the arrangement of the arts, the technai, whereby it is argued that the leading art is the politike techne. Plato, in the Gorgias, has argued for an architectonic of crafts. Four technai provide the best, aei pros to beltiston therapeuousai, and they differ from the pseudo-crafts that offer pleasure while indifferent to the beltiston. The principle for arranging the architectonic is the pursuit of the best, whereby each practitioner of (...) a craft is expected to give logos concerning the "how" as well as the end of the craft. Extending the Platonic principle, Aristotle brings together under a unified theory the intelligibility of nature and human nature in line with the ends of episteme and techne, especially the politike techne. (shrink)

RECENT studies on the philosophy of Plotinus have drawn attention to the complex problems interpreters face when discussing the number of hypostases, or what the term means in the case of the One, the Nous, and the Soul. The full exploration of these broad topics, especially in the light of Plotinus’ theory of "production" and his critique of the alternative views other Neoplatonists held, falls outside the scope of this paper. Since Plotinus’ answer to the question "What criteria must X (...) satisfy to qualify as a hypostasis?" is given in the relevant texts, and as such may be treated as a separate issue, the present paper assumes familiarity with the related doctrines in order to consider in some detail certain logical aspects of the One qua hypostasis. (shrink)

The integrative memory model contains multiple subsystems. In this commentary, the processes within these subsystems are questioned. First, the assumption that familiarity largely reflects perceptual fluency is examined. Next, the distinction between “process” and “representational” models of temporal lobe function is challenged. Finally, the “relational representation core system”, which is central to the model, is especially sketchy. Here, I highlight key questions to be addressed in order to understand this system's role in trace formation.

The goal of our target article was to review a number of emerging facts about the effects of limbic damage on memory in humans and animals, and about divisions within recognition memory in humans. We then argued that this information can be synthesized to produce a new view of the substrates of episodic memory. The key pathway in this system is from the hippocampus to the anterior thalamic nuclei. There seems to be a general agreement that the importance of this (...) pathway has previously been underestimated and that it warrants further study. At the same time, a number of key questions remain. These concern the relationship of this system to another temporal-lobe/diencephalic system that contributes to recognition, and the relationship of these systems to prefrontal cortex activity. (shrink)